1. All About Maude--A High-performance Logical Framewor

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer logic.,Rewriting systems (Computer science),Human information processing.

رده :
QA
,
76
.
9
,.
L63
,
C6555
,
2007